English compiler validation: la traduction en autres langues